intuitionistic mathematics

直觉主义数学